(= (+ 1 0xf) 16u)

